Imperative logic - PDFSEARCH.IO - Document Search Engine

Imperative logic
Results: 39

#	Item
31	Phillips Community College of the University of Arkansas Logic Model Developmental Education Situation: PCCUA has one Director of Institutional Research with no staff to support the position making it imperative to educa Add to Reading List Source URL: www.pccua.edu Language: English - Date: 2010-01-21 17:12:33 Academia Institutional research Qualitative research
32	Effective Interactive Proofs for Higher-Order Imperative Programs ∗ Adam Chlipala Gregory Malecha Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Logic in computer science Separation logic Mathematical proof Coq Proof assistant Calculus of constructions ATS Modal logic First-order logic Logic Mathematical logic Theoretical computer science
33	Trace-based Verification of Imperative Programs with I/O Gregory Malecha, Greg Morrisett, Ryan Wisnesky Harvard University, Cambridge, MA, USA Abstract Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Type theory Logic in computer science Proof theory Dependently typed programming Mathematical logic Mathematical proof Mathematical induction Separation logic Coq Mathematics Theoretical computer science Logic
34	Noesis The Journal of the Mega Society Issue #187 August 2008 Add to Reading List Source URL: megasociety.org Language: English - Date: 2010-06-23 18:52:38 Modal logic Levitation Magnetism Deontic logic Imperative logic Logic Magnetic levitation Logic programming Truth Electromagnetism Physics Philosophy
35	Programming Paradigms for Dummies: What Every Programmer Should Know Add to Reading List Source URL: www.info.ucl.ac.be Language: English - Date: 2009-05-12 05:57:28 Computer programming Oz Declarative programming Constraint programming Logic programming Concurrent computing Imperative programming Programming language Object-oriented programming Software engineering Programming paradigms Computing
36	Kaleidoscope: A Constraint Imperative Programming Language Gus Lopez, Bjorn Freeman-Benson, and Alan Borning Add to Reading List Source URL: www.cs.washington.edu Language: English - Date: 2012-08-02 07:37:08 Computer programming Constraint logic programming Kaleidoscope Constraint satisfaction problem Constraint Constructor Prolog E Logic programming Constraint programming Declarative programming Software engineering
37	International Journal "Information Theories & Applications" Vol[removed] Add to Reading List Source URL: sci-gems.math.bas.bg Language: English - Date: 2009-12-26 19:00:25 Programming paradigms Imperative programming Programming language Prolog Lisp Logic programming Functional programming Procedural programming Object-oriented programming Software engineering Computing Computer programming
38	PDF Document Add to Reading List Source URL: www.info.ucl.ac.be Language: English - Date: 2007-08-24 04:14:36 Computer programming Oz Declarative programming Concurrent computing Logic programming Alice Prolog Imperative programming Dataflow programming Software engineering Computing Programming paradigms
39	PDF Document Add to Reading List Source URL: www.info.ucl.ac.be Language: English - Date: 2008-08-28 17:42:44 Programming paradigms Oz Concurrent computing Logic programming Declarative programming Dataflow Imperative programming Alice Functional programming Software engineering Computing Computer programming

UPDATE